Project-Team:MEXICO

Project-Team Mexico

Team, Visitors, External Collaborators

Overall Objectives

Scientific Objectives

Research Program

Concurrency
Management of Quantitative Behavior

Application Domains

Telecommunications
Biological Systems
Autonomous Vehicles

Highlights of the Year

New Software and Platforms

COSMOS
CosyVerif
Mole

New Results

Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems
Boolean Networks: Beyond Generalized Asynchronicity
Most Permissive Semantics of Boolean Networks
Concurrency in Boolean networks
On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance
Compositional synthesis of state-dependent switching control
An Improved Algorithm for the Co3ntrol Synthesis of Nonlinear Sampled Switched Systems
Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method
The Complexity of Diagnosability and Opacity Verification for Petri Nets
Integrating Simulink Models into the Model Checker Cosmos
Bounds Computation for Symmetric Nets
Distributed computation of vector clocks in Petri nets unfolding for test selection
Hyper Partial Order Logic
Integrating Simulink Models into the Model Checker Cosmos
Site-Directed Deletion
Site-Directed Insertion: Decision Problems, Maximality and Minimality
A Faithful Binary Circuit Model with Adversarial Noise
Tight Bounds for Asymptotic and Approximate Consensus
Pomsets and Unfolding of Reset Petri Nets
Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance
Fast Multidimensional Asymptotic and Approximate Consensus
Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks
Interval Iteration Algorithm for MDPs and IMDPs
Diagnosability of Repairable Faults
Metastability-Containing Circuits

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Partnerships and Cooperations

Regional Initiatives
National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Inria | Raweb 2018 | Presentation of the Project-Team MEXICO | MEXICO Web Site


	PDF	e-Pub

Previous |

Home | Next next

Section: New Results

Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method [3]

In this paper, we explain how, under the one-sided Lipschitz (OSL) hypothesis, one can find an error bound for a variant of the Euler-Maruyama approximation method for stochastic switched systems. We then explain how this bound can be used to control stochastic switched switched system in order to stabilize them in a given region. The method is illustrated on several examples of the literature.

Previous |

Home | Next next